shortest common superstring dynamic programming